#include <types.h>
//
#include <stat.h>
#include <user.h>

int main(int argc, char **argv) {
	int i;

	if (argc < 2) {
		printf(2, "usage: kill pid...\n");
		exit();
	}
	for (i = 1; i < argc; i++)
		kill(atoi(argv[i]));
	exit();
}
